disjoint union

In {domain theory}, a union (or sum) which results in a domain

without a least element.